compact metric space in real analysis